Predicate Logic Unplugged
نویسنده
چکیده
Die vorliegende Arbeit wurde im Rahmen des Verbundvorhabens Verbmobil vom Bundes-ministerium f ur Bildung, Wissenschaft, Forschung und Technologie (BMBF) unter dem FF orderkennzeichen 01 IV 101 R geff ordert. Die Verantwortung f ur den Inhalt dieser Arbeit liegt bei dem Autor.
منابع مشابه
New Methodology of Information Education with "Computer Science Unplugged"
We introduced “Computer Science Unplugged” to our classes in junior and senior high schools. “Unplugged” is an education method of computer science without students using a computer at all. For our classes, we developed original teaching materials and methods for Unplugged. As a result, the students could learn the topics of computer science with interest by using Unplugged. They enjoyed the ga...
متن کاملTemporal and Spatial Requirements of unplugged/MuSK Function during Zebrafish Neuromuscular Development
One of the earliest events in neuromuscular junction (NMJ) development is the accumulation of acetylcholine receptor (AChR) at the center of muscle cells. The unplugged/MuSK (muscle specific tyrosine kinase) gene is essential to initiate AChR clustering but also to restrict approaching growth cones to the muscle center, thereby coordinating pre- and postsynaptic development. To determine how un...
متن کاملDescription Logic Unplugged
In [1], Bos introduces a general scheme of underspecification for a wide range of logics. In his approach he breaks down a formula into its parts and introduces variables, called holes, on argument positions. Each part gets a unique handle, called label. The possible connections of holes to labeled parts are represented with a new type of scope constraint. A plugging is a function that assigns ...
متن کاملCS Unplugged with Assisted Digital Materials for Handicapped People at Schools
We report practice lessons in 'Computer Science Unplugged’ (CS Unplugged) with assisted digital materials. CS Unplugged involves physical or group activities that lead students to computer science, and it is an excellent method of informatics education for beginners. However, such activities are not always easy for all students. Therefore, we designed various digital materials to assist student...
متن کاملPredicate Gates for Spatial Logic
The predicate logic gates are proposed for spatially modulated signals. Two voltage impulses are transmitted along the coupled wires, and they are considered as a predicate expression. The developed gates perform the logical operations AND, NOT and OR with these expressions. They are used for a predicate logic microprocessor. Key-Words: Artificial spatial intelligence, predicate logic, topologi...
متن کامل